proteome data mining bioinformatics maldi life science ftms genomics hplc genome mass spectrometry proteomics chromatography genetic biotechnology protein computational biology